The Rigidly Rotating Magnetosphere of Sigma Ori E

We attempt to characterize the observed variability of the magnetic helium-strong star sigma Ori E in terms of a recently developed rigidly rotating magnetosphere model. This model predicts the accumulation of circumstellar plasma in two co-rotating clouds, situated in magnetohydrostatic equilibrium at the intersection between magnetic and rotational equators. We find that the model can reproduce well the periodic modulations observed in the star's light curve, H alpha emission-line profile, and longitudinal field strength, confirming that it furnishes an essentially correct, quantitative description of the star's magnetically controlled circumstellar environment.Comment: 4 pages, 3 figures, accepted by Ap

Leader Election in Anonymous Rings: Franklin Goes Probabilistic

We present a probabilistic leader election algorithm for anonymous, bidirectional, asynchronous rings. It is based on an algorithm from Franklin, augmented with random identity selection, hop counters to detect identity clashes, and round numbers modulo 2. As a result, the algorithm is finite-state, so that various model checking techniques can be employed to verify its correctness, that is, eventually a unique leader is elected with probability one. We also sketch a formal correctness proof of the algorithm for rings with arbitrary size

Transcendental numbers and the topology of three-loop bubbles

We present a proof that all transcendental numbers that are needed for the calculation of the master integrals for three-loop vacuum Feynman diagrams can be obtained by calculating diagrams with an even simpler topology, the topology of spectacles.Comment: 4 pages in REVTeX, 1 PostScript figure included, submitted to Phys. Rev. Let

Effective Field Theory Dimensional Regularization

A Lorentz-covariant regularization scheme for effective field theories with an arbitrary number of propagating heavy and light particles is given. This regularization scheme leaves the low-energy analytic structure of Greens functions intact and preserves all the symmetries of the underlying Lagrangian. The power divergences of regularized loop integrals are controlled by the low-energy kinematic variables. Simple diagrammatic rules are derived for the regularization of arbitrary one-loop graphs and the generalization to higher loops is discussed.Comment: 22 pages, 11 figures and 1 tabl

The Massive Thermal Basketball Diagram

The "basketball diagram" is a three-loop vacuum diagram for a scalar field theory that cannot be expressed in terms of one-loop diagrams. We calculate this diagram for a massive scalar field at nonzero temperature, reducing it to expressions involving three-dimensional integrals that can be easily evaluated numerically. We use this result to calculate the free energy for a massive scalar field with a phi^4 interaction to three-loop order.Comment: 19 pages, 3 figure

Recommendations for the use of endoscopic lung volume reduction in South Africa: Role in the treatment of emphysema

Emphysema is a very common cause of morbidity and mortality in South Africa (SA). Therapeutic options in severe emphysema are limited. Endoscopic lung volume reduction (ELVR) is increasingly being used internationally for the treatment of advanced emphysema in a subset of patients with advanced disease, aiming to obtain the same functional advantages as surgical lung volume reduction while reducing risks and costs. In addition to endobronchial valves, ELVR using endobronchial coils is now available in SA. The high cost of these interventions underscores the need for careful patient selection to best identify those who may or may not benefit from ELVR-related procedures. The Assembly on Interventional Pulmonology of the South African Thoracic Society appointed a committee comprising both local and international experts to extensively review all relevant evidence and provide advice on the use of ELVR in SA based on published evidence, expert opinion and local access to the various devices

Concurrent constraint programming with process mobility

We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purpose, we first investigate a "pure " paradigm for process migration, namely a paradigm where the only actions are those dealing with transmissions of processes. Our goal is to give a structural definition of the semantics of migration; namely, we want to describe the behaviour of the system, during the transmission of a process, in terms of the behaviour of the components. We achieve this goal by using a labeled transition system where the effects of sending a process, and requesting a process, are modeled by symmetric rules (similar to handshaking-rules for synchronous communication) between the two partner nodes in the network. Next, we extend our paradigm with the primitives of concurrent constraint programming, and we show how to enrich the semantics to cope with the notions of environment and constraint store. Finally, we show how the operational semantics can be used to define an interpreter for the basic calculus.

The two electron artificial molecule

Exact results for the classical and quantum system of two vertically coupled two-dimensional single electron quantum dots are obtained as a function of the interatomic distance (d) and with perpendicular magnetic field. The classical system exhibits a second order structural transition as a function of d which is smeared out and shifted to lower d values in the quantum case. The spin-singlet - spin-triplet oscillations are shifted to larger magnetic fields with increasing d and are quenched for a sufficiently large interatomic distance.Comment: 4 pages, 4 ps figure